#include <firmware/chibios/os/hal/platforms/STM32L1xx/stm32l1xx.h>
TIM2 counter stopped when core is halted